首页> 外文OA文献 >Verification, Model Checking, and Abstract Interpretation:16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings

【2h】

Verification, Model Checking, and Abstract Interpretation:16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings

机译：验证，模型检查和抽象解释：第16届国际会议，2015年1月12日至14日，印度孟买VmCaI会议论文集

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献

1. Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation [J] . DSouza Deepak, Lal Akash Computer Languages, Systems & Structures . 2017,第pta1期

机译：第十六届国际验证，模型检验和抽象解释会议特刊
2. Abstracts from the Society for Acupuncture Research 2015 International Conference Reaching Across Disciplines to Broaden the Acupuncture Research Network November 12-14, 2015 Boston, MA Abstracts [J] . The journal of alternative and complementary medicine: research on paradigm, practice, and policy . 2016,第1期

机译：针灸研究学会2015年国际会议摘要跨学科，以扩大针灸研究网络2015年11月12日至14日，马萨诸塞州波士顿
3. Proceedings of the Annual Conference of the International Embryo Transfer Society, Versailles, France, 10-13 January 2015 Abstracts [J] . Reproduction, fertility, and development . 2015,第1期

机译：2015年1月10日至13日在法国凡尔赛举行的国际胚胎移植学会年度会议论文集
4. Preface: Proceedings of the International Conference of Computational Methods in Sciences and Engineering 2015 (ICCMSE-2015) [C] . null International Conference of Computational Methods in Sciences and Engineering . 2015

机译：前言：2015年科学与工程计算方法国际会议的诉讼程序（ICCMSE-2015）
5. An outbreak of gastroenteritis following an international conference in Brussels January 2015 [O] . Cristina Valencia, Sophie Quolin, Javiera Rebolledo, 2015

机译：2015年1月在布鲁塞尔举行国际会议后爆发胃肠炎
6. Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings [O] . Mcmillan, Kenneth, Rival, Xavier 2014

机译：验证，模型检查和抽象解释-第15届国际会议，VMCAI 2014，美国加利福尼亚州圣地亚哥，2014年1月19日至21日，会议记录

Verification, Model Checking, and Abstract Interpretation:16th International Conference, VMCAI 2015 Mumbai, India, January 12-14, 2015 Proceedings

著录项

引文网络

相似文献

相关主题

期刊订阅